Một vật đơn hình là một tiền bó trên Δ {\displaystyle \Delta } , tức là một hàm tử phản biến từ Δ {\displaystyle \Delta } đến một phạm trù khác. Chẳng hạn, các tập hợp đơn hình là các hàm tử từ Δ {\displaystyle \Delta } đến phạm trù các tập hợp. Một vật đối đơn hình là một hàm tử hiệp biến từ Δ {\displaystyle \Delta } .